Tony Hoare: البحث على موقع Z-Library

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

حرية الوصول إلى المعرفة والثقافة.

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024

Z-Library واحدة من أكبر المكتبات الإلكترونية في العالم والتي تحتوي علي أكثر من 17,000,000 كتاب و 84,837,000 مقالة. هدفنا جعل الأدب متاح للجميع. اليوم ((15 سبتمبر 2024 نبدأ بجمع أموال وتبرعات إضافية لدعم و تطوير المشروع.

تتوفر أيضًا تنزيلات غير محدودة (في غضون 31 يومًا بعد يوم التبرع) لجميع المستخدمين الذين سيدعمون المشروع ويتبرعون خلال فترة جمع التبرعات حتى 1 أكتوبر 2024.

حول جمع التبرعاتالمزيد من التفاصيل

قدم تبرع لدعم المشروع

1

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 2.44 MB

0 / 0

english, 2010

2

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

عام:

2005

اللغة:

english

ملف:

PDF, 6.45 MB

0 / 0

english, 2005

3

The Degree Generation: The Making of Unequal Graduate Lives

The Degree Generation: The Making of Unequal Graduate Lives

Bristol University Press

Nicola Ingram, Ann-Marie Bathmaker, Jessie Abrahams, Laura Bentley, Harriet Bradley, Tony Hoare, Vanda Papafilippou, Richard Waller

عام:

2023

اللغة:

english

ملف:

PDF, 9.17 MB

0 / 5.0

english, 2023

4

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 6.11 MB

0 / 0

english, 2005

5

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 3.12 MB

0 / 0

english, 2010

6

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 7.03 MB

0 / 0

english, 2003

7

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 5.85 MB

0 / 0

english, 2003

8

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 2.47 MB

0 / 0

english, 2010

9

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 2.55 MB

0 / 0

english, 2010

10

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Serge Haddad, Lucia Pomello (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 9.94 MB

0 / 5.0

english, 2012

11

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 3.20 MB

0 / 0

english, 2000

12

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Serge Haddad, Lucia Pomello (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 9.09 MB

0 / 0

english, 2012

13

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

عام:

2008

اللغة:

english

ملف:

PDF, 7.65 MB

0 / 0

english, 2008

14

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

عام:

2008

اللغة:

english

ملف:

PDF, 3.09 MB

0 / 0

english, 2008